#ifndef CONSOLE_H
#define CONSOLE_H

void vga_init(void);
void vga_putc(uint16_t c);

#endif  // CONSOLE_H